Agent Logic - PDFSEARCH.IO - Document Search Engine

Agent Logic
Results: 192

#	Item
81	Indu s t ry T rends Complex-Event Processing Poised for Growth Neal Leavitt Add to Reading List Source URL: www.leavcom.com Language: English - Date: 2013-04-12 14:46:06 Information technology Technology Complex event processing David Luckham Truviso Rulecore Tibco Software Agent Logic StreamBase Systems Computing Cognition Information systems
82	Czech Technical University in Prague Faculty of Electrical Engineering Doctoral Thesis July 2014 Add to Reading List Source URL: cyber.felk.cvut.cz Language: English - Date: 2014-08-05 04:41:01 Models of computation Algorithm Mathematical logic Theoretical computer science Artificial intelligence Mathematics Multi-agent system Game theory Agent-based model Science Applied mathematics Theory of computation
83	Reasoning About the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL Chitta Baral1 , Gregory Gelfond1 , Enrico Pontelli2 , and Tran Cao Son2 1 Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-08-20 15:39:34 Modal logic Model theory Symbol Kripke semantics Epistemic modal logic Interpretation Dynamical system Logic Mathematical logic Philosophical logic
84	An Action Language for Reasoning about Beliefs in Multi-Agent Domains Chitta Baral and Gregory Gelfond Enrico Pontelli and Tran Cao Son Ira A. Fulton School of Engineering Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-02-13 19:12:15 Action description language Interpretation Entailment Model theory Parity of a permutation Logic Metalogic Symbol
85	Modeling Multi-Agent Domains in an Action Languages: an Empirical Study Using C Tran Cao Son and Enrico Pontelli Dept. Computer Science New Mexico State University tson \| epontell @cs.nmsu.edu Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-12 21:22:45 Science Multi-agent systems Epistemology Frame problem Knowledge representation Agent-based model Stable model semantics Function Action description language Artificial intelligence Logic programming Mathematics
86	On Representing Actions in Multi-Agent Domains Chitta Baral and Gregory Gelfond Department of Computer Science and Engineering Arizona State University Abstract. Reasoning about actions forms the foundation of predictio Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-05 19:58:05 Interpretation Philosophy of language Philosophy of mind Semantics Epistemic modal logic Modal logic Symbol Structure Linear temporal logic Logic Mathematical logic Model theory
87	Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:05:46 Modal logic Artificial intelligence Knowledge representation Kripke semantics Frame problem Entailment Epistemic modal logic Common knowledge Stable model semantics Logic Philosophical logic Logic programming
88	Reasoning about Multi-agent Domains Using Action Language C: A Preliminary Study Chitta Baral1 , Tran Cao Son2 , and Enrico Pontelli2 1 Dept. Computer Science & Engineering, Arizona State University Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-12 21:22:14 Computing Automated planning and scheduling Logic programming Frame problem Agent-based model Action description language Action language Action theory Norm Multi-agent systems Artificial intelligence Science
89	Reasoning about Actions and Change: From Single Agent Actions to Multi-agent Actions (Extended Abstract) Chitta Baral Faculty of Computer Science and Engineering Arizona State University Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:10 Logic programming Modal logic Artificial intelligence Multi-agent systems Epistemic modal logic Philosophical logic Common knowledge Stable model semantics Situation calculus Logic Science Mathematical logic
90	CERT.at Technical Report CERT.at Technical Report An Analysis of the Skype IMBot Logic and Functionality Release Date: [removed]Last Updated: [removed], public version 1.2 Add to Reading List Source URL: www.cert.at Language: English - Date: 2015-03-06 12:17:44 Videotelephony Computer network security Multi-agent systems Spamming Malware Batch file Skype Botnet Command Prompt Software Computing Scripting languages